Skip to content

Conversation

@fjsyrmia
Copy link

@fjsyrmia fjsyrmia commented Mar 4, 2024

Check if staticMul is 0 before division and return failure()
instead of undefined behavior.

@github-actions
Copy link

github-actions bot commented Mar 4, 2024

Thank you for submitting a Pull Request (PR) to the LLVM Project!

This PR will be automatically labeled and the relevant teams will be
notified.

If you wish to, you can add reviewers by using the "Reviewers" section on this page.

If this is not working for you, it is probably because you do not have write
permissions for the repository. In which case you can instead tag reviewers by
name in a comment by using @ followed by their GitHub username.

If you have received no comments on your PR for a week, you can request a review
by "ping"ing the PR by adding a comment “Ping”. The common courtesy "ping" rate
is once a week. Please remember that you are asking for valuable time from other developers.

If you have further questions, they may be answered by the LLVM GitHub User Guide.

You can also ask questions in a comment on this PR, on the LLVM Discord or on the forums.

@llvmbot
Copy link
Member

llvmbot commented Mar 4, 2024

@llvm/pr-subscribers-mlir-tosa

@llvm/pr-subscribers-mlir

Author: None (fjsyrmia)

Changes

Check if staticMul is 0 before division and return failure()
instead of undefined behavior.


Full diff: https://github.com/llvm/llvm-project/pull/83823.diff

1 Files Affected:

  • (modified) mlir/lib/Dialect/Tosa/IR/TosaOps.cpp (+5-1)
diff --git a/mlir/lib/Dialect/Tosa/IR/TosaOps.cpp b/mlir/lib/Dialect/Tosa/IR/TosaOps.cpp
index 62d07859e32f6e..bcde87ff158b47 100644
--- a/mlir/lib/Dialect/Tosa/IR/TosaOps.cpp
+++ b/mlir/lib/Dialect/Tosa/IR/TosaOps.cpp
@@ -936,8 +936,12 @@ LogicalResult tosa::ReshapeOp::inferReturnTypeComponents(
 
   // Determine the length of the dynamic dimension.
   for (auto &val : newShapeValue) {
-    if (ShapedType::isDynamic(val))
+    if (ShapedType::isDynamic(val)) {
+      if (staticMul == 0) {
+        return failure();
+      }
       val = numElements / staticMul;
+    }
   }
 
   inferredReturnShapes.push_back(

for (auto &val : newShapeValue) {
if (ShapedType::isDynamic(val))
if (ShapedType::isDynamic(val)) {
if (staticMul == 0) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can staticMul be 0?

@Hsiangkai
Copy link
Contributor

From TOSA specification, the tensor shape in each dimension must be greater than or equal to 1.
See https://www.mlplatform.org/tosa/tosa_spec.html#_tensors

@Jerry-Ge
Copy link
Member

should we close this PR or move forward? cc @fjsyrmia @GeorgeARM

@Jerry-Ge
Copy link
Member

Jerry-Ge commented Mar 3, 2025

Will close this stale PR if no response by the end of this week.

@Jerry-Ge
Copy link
Member

Jerry-Ge commented Mar 7, 2025

close stale PR

@Jerry-Ge Jerry-Ge closed this Mar 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants